Eecient Incremental Run-time Specialization for Free

Availability of data in a program determines computation stages. Incremental partial evaluation exploit these stages for optimization: it allows further specialization to be performed as data become available at later stages. The fundamental advantage of incremental specialization is to factorize the specialization process. As a result, specializing a program at a given stage costs considerably less than specializing it once all the data are available. We present a realistic and exible approach to achieve eecient incremental run-time specialization. Rather than developing speciic techniques, as previously proposed, we are able to re-use existing technology by iterating a specialization process. Moreover, in doing so, we do not lose any specialization opportunities. This approach makes it possible to exploit nested quasi-invariants and to speed up the run-time specialization process. Our approach has been implemented in Tempo, a specializer for C programs that is publicly available. A preliminary experiment connrms that incremental specialization can greatly speed up the specialization process .